201. Computer Algebra with LISP and REDUCE :
Author: by F. Brackx, D. Constales.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Electronic data processing.
Classification :
QA155
.
7
.
E4
B943
1991
202. Computer-Human Interaction in Symbolic Computation
Author: edited by N. Kajler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer graphics.,Computer science.
Classification :
QA76
.
9
.
H85
E358
1998
203. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
Author: E.M. Clarke, R.P. Kurshan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
531
204. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
Author: E.M. Clarke, R.P. Kurshan editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
Classification :
TK
7874
.
D55
1990
205. Computer algebra :
Author: Edmund A. Lamagna.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Algebra-- Data processing.,MATHEMATICS-- Algebra-- General.,MATHEMATICS-- Algebra-- Intermediate.,MATHEMATICS-- Applied.,MATHEMATICS-- Number Systems.
Classification :
QA155
.
7
.
E4
L36
2019eb
206. Computer algebra
Author: / edited by David V. Chudnovsky, Richard D. Jenks
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra -- Data processing - Congresses
Classification :
QA
155
.
7
.
E4
C649
1989
207. Computer algebra and geometric algebra with applications
Author: / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra--Data processing--Congresses., Computer algorithms--Congresses., Geometry, Algebraic--Congresses.
Classification :
QA
155
.
7
.
E4
I65
2004
208. Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
Author: Hongbo Li, Peter J. Olver, Gerald Sommer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Geometry, Algebraic
Classification :
QA
76
.
L28
Vol
.
3519
209. Computer algebra and parallelism
Author: / J. Della Dora, J. Fitch (editors)
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Algebra - Data processing - Congresses,Parallel programming (Computer science) - Congresses,Parallel processing (Electronic computers) - Congresses
Classification :
QA
155
.
7
.
E4
C6493
1989
210. Computer algebra in quantum field theory
Author: / edited by Carsten Schneider, Johannes Blumlein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh
Classification :
E-BOOK
211. Computer algebra in scientific computing
Author: Vladimir P. Gerdt ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses,Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
Classification :
QA155
.
7
.
E4
I6
2012eb
212. Computer algebra in scientific computing :
Author: Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
Classification :
QA76
.
9
.
M35
I58
2013
213. Computer-based Numerical and Statistical Techniques.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics-- Data processing.,Engineering mathematics-- Data processing.
Classification :
TA345
.
G695
2007eb
214. Computer-based numerical & statistical technique
Author: / M. Goyal
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Engineering mathematics--Data processing
Classification :
TA
,
345
,.
G695
,
2007
,
WEB
215. Computer-enabled mathematic
Author: / Sergei Abramovich
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics teachers--Training of,Mathematics--Study and teaching (Secondary)--Data processing,Mathematics--Computer-assisted instruction,Electronic data processing--Study and teaching (Secondary)
Classification :
QA
,
10
.
5
,.
A225
,
2011eb
216. Computer-enabled mathematics
Author: / Sergei Abramovich
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics teachers, Training of,Mathematics, Study and teaching (Secondary), Data processing,Mathematics, Computer-assisted instruction,Electronic data processing, Study and teaching (Secondary)
Classification :
E-BOOK
217. Computer-enabled mathematics
Author: Sergei Abramovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Study and teaching (Secondary),Mathematics-- Computer-assisted instruction.,Mathematics-- Study and teaching (Secondary)-- Data processing.,Mathematics teachers-- Training of.
Classification :
QA10
.
5
.
A225
2011eb
218. Computer-enabled mathematics
Author: Sergei Abramovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Study and teaching (Secondary),Mathematics-- Computer-assisted instruction.,Mathematics-- Study and teaching (Secondary)-- Data processing.,Mathematics teachers-- Training of.
Classification :
QA10
.
5
.
A225
2011eb
219. Computer mathematic
Author: / Deepak Kapur (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics--Congresses,Mathematics--Data processing--Congresses
220. Computer mathematics :
Author: editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer science, Congresses.,Computer science-- Mathematics.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
9
.
M35
A83
2001eb
